Assurance Analysis by Scenario-based UML-Modeling

Adequate models of complex interacting systems need to be of a high degree of detail. It is however a common observation that a sufficiently high level of detail decreases the intelligibility of the models whereas it increases the complexity of numerical analysis beyond reasonable and realistic borders. This leads us to the idea of scenariodriven modeling, which focuses on the most interesting scenarios of the system to be modeled (e.g. high assurance scenarios, typical interactions, fault situations, etc.).